Free Theorems about Monadic Code Janis Voigtl¨ander University of Bonn EWCE’11

Source URL: www.janis-voigtlaender.eu

• Programming paradigms
• Functional programming
• Programming language theory
• Literate programming
• Monad
• Declarative programming
• Haskell
• Side effect
• Echo
• Referential transparency
• Imperative programming
• Rc

02157 Functional Programming - Lecture 11: Imperative, Asynchronous, Parallel and Monadic Programming A short story

Source URL: www.imm.dtu.dk

FACTORIE: Efficient Probabilistic Programming for Relational Factor Graphs via Imperative Declarations of Structure, Inference and Learning Andrew McCallum, Khashayar Rohanemanesh, Michael Wick, Karl Schultz, Sameer Sing

Source URL: ciir-publications.cs.umass.edu

From last week Principles of programming languages Q: Multiparadigm languages? A: Yes Alma-0 combines logic and imperative programming

Source URL: www.few.vu.nl

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language

Imperative Programming in Sets with Atoms∗ Mikołaj Bojańczyk and Szymon Toruńczyk University of Warsaw, Warsaw, Poland Abstract We define an imperative programming language, which extends while programs with a type

Source URL: www.mimuw.edu.pl

Crossing the Gap from Imperative to Functional Programming through Refactoring Alex Gyori Lyle Franklin

Source URL: dig.cs.illinois.edu

15-122: Principles of Imperative Computation Course Syllabus Frank Pfenning August 28, 2011 This course is intended for students with a basic understanding of programming (variables, expressions, loops, arrays, functions

Source URL: www.cs.cmu.edu

Imperative Programming with Dependent Types (Extended Abstract) Hongwei Xi University of Cincinnati

Source URL: www.ats-lang.org

BRICS Basic Research in Computer Science BRICS RSL. Kristiansen: The Implicit Computational Complexity of Imperative Programming Languages The Implicit Computational Complexity of

Source URL: www.brics.dk